Peter Schneider - PDFSEARCH.IO - Document Search Engine

Peter Schneider
Results: 117

#	Item
61	Automated Termination Proofs with AProVE? J¨ urgen Giesl, Ren´e Thiemann, Peter Schneider-Kamp, Stephan Falke LuFG Informatik II, RWTH Aachen, Ahornstr. 55, 52074 Aachen, Germany {giesl\|thiemann\|psk}@informatik.rwth-aa Add to Reading List Source URL: www-i2.informatik.rwth-aachen.de Language: English - Date: 2006-07-26 07:36:55 Theoretical computer science Mathematics Mathematical logic Logic in computer science Rewriting Termination analysis International Conference on Rewriting Techniques and Applications Algorithm Dependency graph Path ordering Polynomial
62	Institut for Matematik og Datalogi Syddansk Universitet September 15, 2013 Peter Schneider-Kamp Add to Reading List Source URL: www.imada.sdu.dk Language: English - Date: 2014-10-24 01:09:00
63	Institut for Matematik og Datalogi Syddansk Universitet November 9, 2013 Peter Schneider-Kamp Add to Reading List Source URL: www.imada.sdu.dk Language: English - Date: 2013-11-09 15:16:43
64	DM537 Object-Oriented Programming Peter Schneider-Kamp ! http://imada.sdu.dk/~petersk/DM537/ Add to Reading List Source URL: www.imada.sdu.dk Language: English - Date: 2013-12-05 03:07:00
65	Lecture 1: Introduction, Processes & Threads Teacher Peter Schneider-Kamp <> ! Add to Reading List Source URL: www.imada.sdu.dk Language: English - Date: 2015-01-30 05:54:39
66	DM536 Introduction to Programming Peter Schneider-Kamp ! http://imada.sdu.dk/~petersk/DM536/ Add to Reading List Source URL: www.imada.sdu.dk Language: English - Date: 2014-10-24 01:09:03
67	Institut for Matematik og Datalogi Syddansk Universitet October 3, 2013 Peter Schneider-Kamp Add to Reading List Source URL: www.imada.sdu.dk Language: English - Date: 2014-10-24 01:09:00
68	HERCULES 2014 Lecture A13: X-RAY PHOTOEMISSION ELECTRON MICROSCOPY C.M. Schneider, Peter Grünberg Institut PGI-6, Research Centre Jülich Abstract. The lecture reviews the principle of immersion lens electron microscope Add to Reading List Source URL: hercules-school.eu Language: English - Date: 2014-03-17 13:35:12 Physics Electron microscopy Photoemission electron microscopy Electron microscope Microscopy Electron Low-energy electron microscopy Scientific method Microscopes Science
69	Stockholm Environment Institute, Working PaperPotential for International Offsets to Provide a Net Decrease of GHG Emissions Michael Lazarus, Peter Erickson and Lambert Schneider with contributions from Anja Ko Add to Reading List Source URL: sei-us.org Language: English - Date: 2013-10-28 18:45:53 Climate change United Nations Framework Convention on Climate Change Clean Development Mechanism Emissions trading Kyoto Protocol Economics of global warming Carbon offset Carbon credit Climate change policy Carbon finance Environment
70	The European Forensic Genetics Network of Excellence – meeting challenges of biological evidence Peter M. Schneider Institute of Legal Medicine University of Cologne (Germany) Add to Reading List Source URL: www.euroforgen.eu - Date: 2014-10-01 11:29:25

UPDATE